Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
621	Journal of Artificial Intelligence Research314 Submitted 09/02; publishedCompiling Causal Theories to Successor State Axioms and STRIPS-Like Systems Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2003-10-09 01:39:43 Logic programming Automated planning and scheduling Situation calculus Functions and mappings Action description language STRIPS Function FO First-order logic Mathematics Mathematical logic Abstract algebra
622	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:44:09 C*-algebra Von Neumann algebra Boolean algebra Model theory Equivalence of categories Kernel Monoidal t-norm logic Heyting algebra Mathematics Algebra Abstract algebra
623	LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Proof theory Propositional calculus Dependently typed programming Type theory Formal languages First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
624	Lynee Lewis Gaillet A LEGACY OF BASIC WRITING INSTRUCTION ABSTRACT: This article introduces George Jardine, an eighteenth- and nineteenthcentury Scottish professor of logic and philosophy at the University of Glasgow, a Add to Reading List Source URL: wac.colostate.edu Language: English - Date: 2014-03-15 20:33:14 Knowledge Writing George Jardine Basic writing Errors and Expectations Rhetoric Jardine Matheson Holdings University Francis Hutcheson Education Academia Ministers of the Church of Scotland
625	Two puzzles about requirements Rick Nouwen June 17, 2010 Abstract I discuss the semantics of statements of minimum and maximum requirement. I show that, on standard assumptions, such statements receive a non-sensical int Add to Reading List Source URL: ricknouwen.org Language: English - Date: 2012-02-06 04:55:27 Modal logic Non-classical logic Possibility Linguistic modality Entailment Interpretation Possible world Maxima and minima Quantification Logic Philosophical logic Semantics
626	Selected Topics in Communication and Action Jan van Eijck CWI & ILLC, Amsterdam October 25, 2014 Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 03:27:09 Reasoning Epistemology Knowledge representation Belief revision Institute for Logic Language and Computation Reason Probability Science Knowledge Logic
627	Single-cell E2F Dynamics Reveal the Control Logic of Cell Cycle Entry Peng Dong1, Manoj V. Maddali2, Jaydeep K. Srimani2, Bernard Mathey-Prevot3 and Lingchong You4 Short Abstract — To explore the molecular events respo Add to Reading List Source URL: q-bio.org Language: English - Date: 2013-07-16 19:07:14 Transcription factors Proteins Restriction point Cellular processes E2F Retinoblastoma protein Cyclin Myc Protein P16 Biology Cell biology Cell cycle
628	A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism? Amadeo Casas1 Manuel Carro2 Manuel V. Hermenegildo1,2 Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2008-09-15 22:48:05 Programming paradigms Prolog Compiler optimizations Logic programming Parallel computing Warren Abstract Machine Stack Call stack Automatic parallelization Software engineering Computing Computer programming
629	Abstract Read Permissions: Fractional Permissions without the Fractions Stefan Heule1 , K. Rustan M. Leino2 , Peter Müller1 , and Alexander J. Summers1 1 Add to Reading List Source URL: stefanheule.com Language: English - Date: 2014-09-10 01:53:47 Computer programming Control flow Postcondition Filesystem permissions Eval Precondition Rm Constructor Computing Software engineering Logic in computer science
630	Belief, Probabilities, Updates, and Model Checking Jan van Eijck CWI & ILLC, Amsterdam October 2, 2014 Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 03:26:40 Modal logic Knowledge Epistemology Epistemic modal logic Logic Branches of philosophy Philosophy Science

UPDATE